Wilhelm-Weidner, Arno (2015). MobiMat – ein Framework zur Mobilisierung von Lehrmaterial. Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015). CEUR-WS.org, 239–243.

Nestmann, Uwe and Puhlmann, Frank (2008). Business Process Specification and Analysis. Process Algebra for Parallel and Distributed Processing. CRC Press, 129.

Merro, M and Kleist, J and Nestmann, U (2001). CS report 03/2001 Local pi-Calculus at Work: Mobile Objects as Mobile Processes. REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE

Sébastien Briais and Uwe Nestmann (2007). Open bisimulation, revisited. Theor. Comput. Sci., 236-271.

Sébastien Briais and Uwe Nestmann (2007). A formal semantics for protocol narrations. Theor. Comput. Sci., 484-511.

Flavio Corradini and Uwe Nestmann (2005). EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci., 375-376.

Prehn, Tobias and Rotter, Myron (2019). Immediate Observation in Mediated Population Protocols. Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019. Open Publishing Association, 102-113.